| Scheme: An interpreter for extended lambda calculus - Gerald Jay Sussman and Guy L. Steele, Jr. Inspired by ACTORS, we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus, but extended for side effects, multiprocessing, and process synchronization. Keywords: scheme; lambda calculus Downloads: 256 | |

| Untyped Lambda Calculus Interpretations v1 - ClaudiusMaximus audio-visualisation of some computations in untyped lambda calculus Keywords: Computation; Algorithm; Lambda Calculus; Visualisation Downloads: 580 | |

| Distributed computer communications in support of real-time visual simulations / [by] Theodore H. Barrow, John M. Yurchak [and] Michael J. Zyda. - Barrow, Theodore H.;Yurchak, John M.;Zyda, Michael J. Title from cover Keywords: ALGORITHMS; LAMBDA CALCULUS; MATHEMATICAL ANALYSIS--FOUNDATIONS Downloads: 60 | |

| Categorical Abstract Machine. Lecture 4 of 8: Developing the abstract machine in a Category - V.E. Wolfengagen Topics: A notion of developing the abstract machine. Functioning of abstract machine. States. Working cycle of the abstract machine. Examples of evaluation. Compiling and executing the code. Keywords: lambda-calculus; combinatory logic; expression evaluation; theory of computation Downloads: 131 | |

| Canonical simplification of finite objects, well quasi-ordered by tree embedding (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no.981) - Brown, Thomas C "UILU-ENG 79 1727." Keywords: Trees (Graph theory); Directed graphs; Lambda calculus; Embeddings (Mathematics) Downloads: 33 | |

| Categorical Abstract Machine. Lecture 3 of 8: Expression Evaluation: The ways of Computation in a Category - V.E. Wolfengagen Topics: The ways of evaluation. Running the compiled programming code. Assembling the code. Comparison of the evaluations. Keywords: lambda-calculus; combinatory logic; expression evaluation; theory of computation Downloads: 139 | |

| Combinatory Logic in Programming. - V.E. Wolfengagen Book by V.E. Wolfengagen "Combinatory Logic in Programming. Computations with Objects Through Examples and Exercises". 2-nd ed. -- Moscow, Center JurInfoR, 2003. X+336 p. The book is intended for computer science students, programmers and professionals who have already got acquainted with the basic courses and background on discrete mathematics. It may be used as a textbook for graduate course on theoretical computer science... Keywords: Applicative computations; combinatory logic; lambda-calculus; programming; categorical abstract machine Downloads: 669 | |

| Categorical Abstract Machine. Lecture 1 of 8: Computation in a Category - V.E. Wolfengagen Topics: The notion of Categorical Abstract Machine (CAM). Evaluation in a Cartesian closed category (c.c.c.). Evaluating map. Environment. Examples of expression evaluation. Collision of variables. Eliminating the collision. De Bruijn's encoding. De Bruijn's numerals. Evaluation in a c.c.c. using De Bruijn's encoding. Combinatory glue. The properties of the theories of computation. Keywords: lambda-calculus; combinatory logic; expression evaluation; theory of computation Downloads: 364 | |

| Categorical Abstract Machine. Lecture 2 of 8: Expression Evaluation: Theory of Computation in a Category - V.E. Wolfengagen Topics: Expression evaluation and the ways of evaluating. The representation of the environment of expression evaluation. De Bruijn's theory of computation of expression evaluation. Syntactical theory of computation. The kinds of the expression evaluation theories. Keywords: lambda-calculus; combinatory logic; expression evaluation; theory of computation Downloads: 263 | |

| Optimal transfer lots for batch manufacturing : a basic case and extensions - Trietsch, Dan. Title from cover Keywords: CALCULUS; LAMBDA CALCULUS; MATHEMATICAL ANALYSIS; LOGIC, SYMBOLIC AND MATHEMATICAL Downloads: 51 | |

| Live At LiWoLi11 2011-05-13 - ClaudiusMaximus audio part of a live a/v performance at LiWoLi11. RDEX noisy audio-visual reaction-diffusion explorations GULCII live coding untyped lambda calculus with audiovisuals Keywords: RDEX; Hyperspace Exploration; Artificial Chemistry; Drone; Noise; GULCII; Lambda Calculus; Live Coding Downloads: 19 |

| Man-machine systems of the 1990 decade : cognitive factos and human interface issues - Hoffman, Paul J. Title from cover Keywords: PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)--SEMANTICS; PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)--SYNTAX; LISP (COMPUTER PROGRAM LANGUAGE); LIST PROCESSING (ELECTRONIC COMPUTERS); LAMBDA CALCULUS Downloads: 82 | |

| mit :: lcs :: tr :: MIT-LCS-TR-925 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-925 Keywords: logic; role; predicate; lambda; formulas; translation; formula; figure; bruijn; calculus; description logic; bruijn indices; role logic; boolean shape; shape analysis; unary predicate; typed lambda; description logics; lambda calculus; binary predicate Downloads: 32 | |

| mit :: ai :: aim :: AIM-410 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-410 Keywords: actor; plasma; control; implementation; structure; behavior; actors; factorial; lambda; message; actor model; passing messages; control structure; event diagrams; lambda calculus; artificial intelligence; actor transmission; problem solving; event diagram; control structures Downloads: 41 | |

| mit :: ai :: aim :: AIM-349 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-349 Keywords: lambda; expression; interpreter; sussman; process; environment; recursive; lisp; steele; programming; lisp function; lambda expressions; lambda expression; primitive operators; lambda calculus; primitive operator; reference manual; substitution semantics; steele december; control structure Downloads: 60 | |

| mit :: ai :: aim :: AIM-353 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-353 Keywords: imperative; sussman; steele; function; ultimate; variable; variables; lambda; epsilon; assignment; side effects; free variables; ultimate imperative; lambda calculus; sussman march; lambda expressions; programming language; lexically scoped; fluid variables; escape function Downloads: 35 | |

| mit :: ai :: aim :: AIM-750 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-750 Keywords: artificial; parallel; architectures; apiary; hewitt; systems; actors; intelligence; architecture; actor; massachusetts institute; shared memory; artificial intelligence; von neumann; parallel architectures; logic programming; intelligence laboratory; lambda calculus; design issues; intelligence systems Downloads: 35 | |

| mit :: lcs :: tr :: MIT-LCS-TR-136 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-136 Keywords: lambda; expression; expressions; function; applicative; domain; normal; semantic; functions; calculus; applicative languages; applicative language; lambda calculus; reduction step; normal form; lambda expression; beta conversion; reduction sequence; normal forms; lambda expressions Downloads: 78 | |

| mit :: ai :: aim :: AIM-727 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-727 Keywords: actor; lambda; programming; systems; open; semantics; description; behavior; message; calculus; shared resources; programming languages; message passing; open system; lambda calculus; artificial intelligence; actor model; passing semantics; open systems; actor systems Downloads: 15 | |

| mit :: lcs :: tr :: MIT-LCS-TR-325 From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-325 Keywords: term; evaluator; lemma; reduction; type; combinatory; axioms; theorem; notion; reducible; type errors; lambda calculus; type error; natural numbers; proof system; unary function; bound variables; axiom schemes; combinatory model; cross diamond Downloads: 27 | |